<html>
<head><meta charset="utf-8"><title>social hour 2021-07-19 · ctcft · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/index.html">ctcft</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html">social hour 2021-07-19</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="246498530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246498530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246498530">(Jul 19 2021 at 19:05)</a>:</h4>
<p>We will have another "social hour" at today's CTCFT! Post ideas for breakout rooms here! Don't use this topic for general chatter, though.</p>
<p>React to ideas you're interested in with a <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> emoji</p>



<a name="246500549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246500549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246500549">(Jul 19 2021 at 19:18)</a>:</h4>
<p>Idea: Discuss ideas for mentored cohorts</p>



<a name="246503557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246503557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246503557">(Jul 19 2021 at 19:40)</a>:</h4>
<p>Idea: Lang team initiatives :)</p>



<a name="246505340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Forest Anderson <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505340">(Jul 19 2021 at 19:54)</a>:</h4>
<p><span class="user-mention" data-user-id="220273">@Jane Lusby</span> Can I get a gamedev room?</p>



<a name="246505489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505489">(Jul 19 2021 at 19:55)</a>:</h4>
<p>is there still interest in a GhostCell tour / discussion or was that a joke?^^ I have like 30min after the meeting. I'm also happy to answer all your Miri questions, alternatively.</p>



<a name="246505674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505674">(Jul 19 2021 at 19:56)</a>:</h4>
<p>what is GhostCell?</p>



<a name="246505681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505681">(Jul 19 2021 at 19:56)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> I'm super interested in hearing more about GhostCell if others are.</p>



<a name="246505719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505719">(Jul 19 2021 at 19:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="256342">bstrie</span> <a href="#narrow/stream/286036-ctcft/topic/social.20hour.202021-07-19/near/246505674">said</a>:</p>
<blockquote>
<p>what is GhostCell?</p>
</blockquote>
<p>this is the long version: <a href="http://plv.mpi-sws.org/rustbelt/ghostcell/">http://plv.mpi-sws.org/rustbelt/ghostcell/</a></p>



<a name="246505730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505730">(Jul 19 2021 at 19:57)</a>:</h4>
<p>/me is happy to be in a lang-team initiatives room if people want that room to exist.</p>



<a name="246505783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246505783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246505783">(Jul 19 2021 at 19:57)</a>:</h4>
<p>short version: an interior mutability data structure a PhD student at MPI-SWS / Saarland University developed that I helped them verify and we published a paper about</p>



<a name="246506108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506108">(Jul 19 2021 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> One thing I'd be interested in regarding GhostCell: what does the path look like for interior mutability with fine-grained synchronization (either locking or RCU/hazard-pointers/etc), in future research?</p>



<a name="246506247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506247">(Jul 19 2021 at 20:01)</a>:</h4>
<p><span class="user-mention" data-user-id="239881">@Josh Triplett</span> hm, that seems pretty orthogonal to me</p>



<a name="246506426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506426">(Jul 19 2021 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> I was thinking about how the original paper talked about the interactions with locking, and thinking about how that will evolve over time.</p>



<a name="246506510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506510">(Jul 19 2021 at 20:03)</a>:</h4>
<p>"the breakout rooms exist" but where do they exist ? <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="246506520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506520">(Jul 19 2021 at 20:03)</a>:</h4>
<p>crossbeam has epoch-based reclamation, possibly the other mechanisms could have a similar API</p>



<a name="246506547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506547">(Jul 19 2021 at 20:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Click "Choose Breakout Room" in the bottom toolbar in Zoom.</p>



<a name="246506565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506565">(Jul 19 2021 at 20:03)</a>:</h4>
<p>thanks josh</p>



<a name="246506720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506720">(Jul 19 2021 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> can we get screen sharing enabled? that would be quite useful :D</p>



<a name="246506763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506763">(Jul 19 2021 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="220273">@Jane Lusby</span> is hosting now, but I can see if I can enable it</p>



<a name="246506932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506932">(Jul 19 2021 at 20:06)</a>:</h4>
<p>i think you might have killed the breakout rooms</p>



<a name="246506951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246506951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246506951">(Jul 19 2021 at 20:06)</a>:</h4>
<p>Yeah, we may have to let them collapse and re-create them.</p>



<a name="246507440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246507440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Daniel Silverstone <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246507440">(Jul 19 2021 at 20:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="239881">Josh Triplett</span> <a href="#narrow/stream/286036-ctcft/topic/social.20hour.202021-07-19/near/246506951">said</a>:</p>
<blockquote>
<p>Yeah, we may have to let them collapse and re-create them.</p>
</blockquote>
<p>The dungeon collapsed, fortunately we did not die.</p>



<a name="246511676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246511676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246511676">(Jul 19 2021 at 20:46)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> thanks ralf, it was super fun and interesting</p>



<a name="246513715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246513715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Daniel Silverstone <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246513715">(Jul 19 2021 at 21:01)</a>:</h4>
<p>Thanks everyone, that was fun and interesting.  Lovely to meet you all some more too.</p>



<a name="246514163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246514163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246514163">(Jul 19 2021 at 21:03)</a>:</h4>
<p>Thanks everyone! I always enjoy getting to hang out with other Rustaceans during the social hour.</p>



<a name="246514257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246514257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246514257">(Jul 19 2021 at 21:03)</a>:</h4>
<p>Chat messages in the session often contain helpful links or other information.  Would it be possible for whoever is the host to publish those somewhere after the session?  All chat messages are saved inside the zoom folder on one's hard drive.</p>



<a name="246516104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246516104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246516104">(Jul 19 2021 at 21:13)</a>:</h4>
<p><span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="246517681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/286036-ctcft/topic/social%20hour%202021-07-19/near/246517681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/286036-ctcft/topic/social.20hour.202021-07-19.html#246517681">(Jul 19 2021 at 21:26)</a>:</h4>
<p>thanks to the organizers for planning this!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>